Although narcissists often emerge as leaders, the relationship between leader narcissism and follower performance is ambiguous and often even found to be negative. For women, narcissism seems especially likely to lead to negative evaluations. Since narcissists have the tendency to be impulsive and change their minds on a whim, they may come across as inconsistent. We propose “inconsistent leader behavior” as a new mechanism in the relationship between leader narcissism and follower performance and argue that leader gender plays an important (...) role in whether narcissistic leaders are perceived as inconsistent. Specifically, we expect leader narcissism to have a negative relationship with follower performance through perceived inconsistent leader behavior, especially for female leaders. Thus, we examine leader gender as a personal factor moderating the relationship between narcissism and perceived inconsistent behavior. Also, as perceived inconsistency is likely less problematic when a good relationship exists, we examine leader–member exchange as a contextual condition moderating the relationship between leader behavior and follower performance. We test our moderated mediation model in a multi-source study with 165 unique leader–follower dyads. As expected, leader narcissism was positively related to perceived inconsistent leader behavior, and this relationship was stronger for female leaders. Inconsistent leader behavior was negatively related to follower performance, but only when LMX was low. Our research highlights that perceived behavioral inconsistency can be problematic and—for female leaders—provides an explanation of the negative relation of leader narcissism with follower performance and of the inconsistencies in evaluations of narcissistic leaders’ effectiveness. (shrink)

As a celebration of theTractatus100th anniversary it might be worth revisiting its relation to the later writings. From the former to the latter, David Pears recalls that “everyone is aware of the holistic character of Wittgenstein’s later philosophy, but it is not so well known that it was already beginning to establish itself in theTractatus” (The False Prison, 1987). From the latter to the former, Stephen Hilmy’s (The Later Wittgenstein, 1987) extensive study of theNachlasshas helped removing classical misconceptions such as (...) Hintikka’s claim that “Wittgenstein in thePhilosophical Investigationsalmost completely gave up the calculus analogy.” Hilmy points out that even in theInvestigationsone finds the use of the calculus/game paradigm to the understanding of language, such as “in operating with the word” (Part I, §559) and “it plays a different part in the calculus”. Hilmy also quotes from a late (1946) unpublished manuscript (MS 130) “this sentence has use in the calculus of language”, which seems to be compatible with “asking whether and how a proposition can be verified is only a particular way of asking ‘How do you mean?’” Central in this back and forth there is an aspect which seems to deserve attention in the discussion of a semantics for the language of mathematics which might be based on (normalisation of) proofs and/or Hintikka/Lorenzen game-dialogue: the explication of consequences. Such a discussion is substantially supported by the use of the open and searchableThe Wittgenstein Archives at the University of Bergen. These findings are framed within the discussion of the meaning of logical constants in the context of natural deduction style rules of inference. (shrink)

SummaryLooking at proof theory as an attempt to ‘code’ the general pattern of the logical steps of a mathematical proof, the question of what kind of rules can make the meaning of a logical connective completely explicit does not seem to have been answered satisfactorily. The lambda calculus seems to have been more coherent simply because the use of ‘λ’ together with its projection 'apply' is specified by what can be called a 'reduction' rule: β‐conversion. We attempt to analyse the (...) role of proof rules, making use of a set of formal rules designed to capture both the notions of proof theory and those of the lambda‐calculus: Martin‐Löf's Intuitionistic Type Theory.RésuméSi on considère la théorie de la démonstration comme une tentative de ‘codifier’ les pas logiques d'une démonstration mathématique, on se rendra compte qu'on n'a pas répondu de façon satisfaisante à la question suivante: quelles sont les règies qui rendent complètement explicite le sens d'un connecteur logique? Le lambda‐calcul a été apparemment plus cohérent, tout simplement parce que l'utilisation du‘λ’ avec sa projection 'apply' est spécifiée par une regie de 'réduction': β‐conversion. Nous essayons d'analyser le rôle des règies de démonstration, en utilisant un système formel de règies conçu pour englober à la fois les notions de la théorie de la démonstration et celles du lambda‐calcul: la Théorie Intuitionniste des Types de Martin‐Löf.ZusammenfassungWenn man Beweistheorie als einen Versuch, ein allgemeines Muster der logischen Schritte in einem mathematischen Beweis zu kodifizieren, betrachtet, so scheint die Frage nach der Art von Regeln , die die Bedeutung von logischen Operatoren vollständig beschreiben, nicht zufriedenstellend beantwortet. Der Lambda‐Kalkül erscheint, kohärenter, einfach deshalb weil der Gebrauch von ‘λ’ zusammen mit dessen Projektion 'apply' durch Regeln bestimmt wird, die man 'Reduktions'‐Regeln nennen kann: β‐Konversion. Wir versuchen, die Rolle von Beweisregeln zu analysieren, indem wir ein Regelsystem verwenden, das sowohl die Begriffe der Beweistheorie als auch diejenigen des Lambda‐Kalküls erfasst, nämlich die Martin‐Löfsche Typentheorie. (shrink)

The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

The intention here is that of giving a formal underpinning to the idea of ‘meaning-is-use’ which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett–Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i.e. the so-called reduction rules. For that we suggest an extension (...) to the Curry– Howard interpretation which draws on the idea of labelled deduction, and brings back Frege’s device of variable-abstraction to operate on the labels (i.e., proof-terms) alongside formulas of predicate logic. (shrink)

The intention here is that of giving a formal underpinning to the idea of 'meaning-is-use' which, even if based on proofs, it is rather different from proof-theoretic semantics as in the Dummett-Prawitz tradition. Instead, it is based on the idea that the meaning of logical constants are given by the explanation of immediate consequences, which in formalistic terms means the effect of elimination rules on the result of introduction rules, i. e. the so-called reduction rules. For that we suggest an (...) extension to the Curry-Howard interpretation which draws on the idea of labelled deduction, and brings back Frege's device of variable-abstraction to operate on the labels (i. e., proof-terms) alongside formulas of predicate logic. (shrink)

Borsboom and colleagues have recently proposed a “network theory” of psychiatric disorders that conceptualizes psychiatric disorders as relatively stable networks of causally interacting symptoms. They have also claimed that the network theory should include non-symptom variables such as environmental factors. How are environmental factors incorporated in the network theory, and what kind of explanations of psychiatric disorders can such an “extended” network theory provide? The aim of this article is to critically examine what explanatory strategies the network theory that includes (...) both symptoms and environmental factors can accommodate. We first analyze how proponents of the network theory conceptualize the relations between symptoms and between symptoms and environmental factors. Their claims suggest that the network theory could provide insight into the causal mechanisms underlying psychiatric disorders. We assess these claims in light of network analysis, Woodward’s interventionist theory, and mechanistic explanation, and show that they can only be satisfied with additional assumptions and requirements. Then, we examine their claim that network characteristics may explain the dynamics of psychiatric disorders by means of a topological explanatory strategy. We argue that the network theory could accommodate topological explanations of symptom networks, but we also point out that this poses some difficulties. Finally, we suggest that a multilayer network account of psychiatric disorders might allow for the integration of symptoms and non-symptom factors related to psychiatric disorders and could accommodate both causal/mechanistic and topological explanations. (shrink)

Descartes nimmt in Anspruch, daß sein Argument des Deus malignus über die Einwände der Skeptiker hinausgehe. Was fügt es dem Traumargument hinzu? Die verbreitete Ansicht, der Dämon stelle die Erkenntnis mathematischer und logischer Wahrheiten in Frage, wird im folgenden diskutiert und zurückgewiesen. Die richtige Interpretation lautet: Die Annahme des Dämons unterstützt den Skeptizismus und verstärkt die Zweifel an der Existenz äußerer Objekte. Es werden drei Einwände gegen diese Interpretation erörtert und zurückgewiesen. Eine andere Auffassung vertritt Frankfurt: Die Rolle des Traumarguments (...) sei wesentlich begrenzt; die durch den Dämon aufgeworfenen Zweifel seien umfassender. Eine genaue Analyse der Entwicklung des Traumarguments in der Ersten Meditation führt zur Widerlegung dieser Interpretation. (shrink)

Semantic Automata Johan van Ben them. INTRODUCTION An attractive, but never very central idea in modern semantics has been to regard linguistic expressions ...

On page 1 of his classic text, Millsap states, “Measurement invariance is built on the notion that a measuring device should function the same way across varied conditions, so long as those varied conditions are irrelevant [emphasis added] to the attribute being measured.” By construction, measurement invariance techniques require not only detecting varied conditions but also ruling out that these conditions inform our understanding of measured domains. In fact, measurement invariance techniques possess great utility when theory and research inform their (...) application to specific, varied conditions that, if not detected, introduce measurement biases, and, thus, depress measurement validity. Yet, we see emerging bodies of work where scholars have “put the cart before the horse” when it comes to measurement invariance, and they apply these techniques to varied conditions that, in fact, may reflect domain-relevant information. These bodies of work highlight a larger problem in measurement that likely cuts across many areas of scholarship. In one such area, youth mental health, researchers commonly encounter a set of conditions that nullify the use of measurement invariance, namely discrepancies between survey reports completed by multiple informants, such as parents, teachers, and youth themselves. In this paper, we provide an overview of conceptual, methodological, and measurement factors that should prevent researchers from applying measurement invariance techniques to detect informant discrepancies. Along the way, we cite evidence from the last 15 years indicating that informant discrepancies reflect domain-relevant information. We also apply this evidence to recent uses of measurement invariance techniques in youth mental health. Based on prior evidence, we highlight the implications of applying these techniques to multi-informant data, when the informant discrepancies observed within these data might reflect domain-relevant information. We close by calling for a moratorium on applying measurement invariance techniques to detect informant discrepancies in youth mental health assessments. In doing so, we describe how the state of the science would need to fundamentally “flip” to justify applying these techniques to detect informant discrepancies in this area of work. (shrink)